Revision: tla-tools--x--0--patch-12
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Mon Sep 22 09:44:13 JST 2003
Standard-date: 2003-09-22 00:44:13 GMT
Modified-files: tla-tools-funs.awk
New-patches: miles@gnu.org--gnu-2003/tla-tools--x--0--patch-12
Summary: Add some name-manipulation functions to tla-tools-funs.awk

